доказываемое утверждение

См. также в других словарях:

• Доказательство одноцветности всех лошадей — Доказательство одноцветности всех лошадей  ошибочное доказательство того, что все лошади одного цвета, придуманное венгерским математиком Пойа[1]. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании… …   Википедия

• СИНТЕЗ —         (от греч. соединение, сочетание, составление), соединение различных элементов, сторон предмета в единое целое (систему), которое осуществляется как в практич. деятельности, так и в процессе познания. В этом значении С. противоположен… …   Философская энциклопедия

• Положение — ср. 1. Местонахождение кого либо, чего либо в пространстве. отт. Расположение какого либо пункта или участка земной поверхности. 2. Расположение, постановка тела или частей его; поза. отт. Расположение предметов. 3. Состояние, обусловленное… …   Современный толковый словарь русского языка Ефремовой

• СИНТАКСИС — в математической логике описание и изучение формальной аксиоматич. теории как чисто знаковой системы (в отличие от семантики, исследующей смысл и содержание объектов формальной теории). Различие между С. и семантикой особенно существенно в… …   Математическая энциклопедия

• Венгерский алгоритм — Венгерский алгоритм  алгоритм оптимизации, решающий задачу о назначениях за полиномиальное время (см. исследование операций). Он был разработан и опубликован Харолдом Куном в 1955 году. Автор дал ему имя «венгерский метод» в связи с тем, что …   Википедия

• Теорема о 9 точках на кубике — Иллюстрация к теореме о 9 точках Теорема о 9 точках на кубике  теорема аналитической геометрии, которая гласит, что[1] …   Википедия

• ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП — принцип, требующий, чтобы в случае каждого утверждения указывались убедительные основания, в силу которых оно принимается и считается истинным. Требование достаточных или убедительных оснований столь же старо, как и само теоретическое мышление. В …   Философская энциклопедия

• Теорема Хаусдорфа — Теорема (или парадокс) Хаусдорфа  доказываемое в теории множеств утверждение о существовании счётного подмножества двумерной сферы , дополнение которого может быть представлено в виде объединения трёх непересекающихся множеств , и ,… …   Википедия

• Парадокс Хаусдорфа — Теорема (или парадокс) Хаусдорфа  доказываемое в теории множеств утверждение о существовании счётного подмножества T двумерной сферы S2, дополнение которого может быть представлено в виде объединения трёх непересекающихся множеств A, B и C,… …   Википедия

• Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание …   Википедия

• Конструктивизм (математика) — Конструктивная математика абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание 1 Абстракции конструктивной математики 2 Основные объекты рассмотрения …   Википедия